r vlisp                
(library gos)
(library dmos)
(library can)
(library data)
(DE UXOR (A)
	(COND ((NULL A) NIL)
	((EVAL (NEXTL A)) (NOT (EVAL (CONS ''OR A))))
	(T  (EVAL  (LIST  ''UXOR  (LIST ''QUOTE A)))))))))))))
(GRAND-PATRON ''UXOR)
(UXOR ''(T))
(UXOR ''(T NIL))
(UXOR ''(NIL T NIL))
(UXOR ''(T T NIL))
(UXOR ''(NIL T T))
(UXOR ''(NIL NIL T NIL))
''(CONCLUSION CA MERDE)
''(D''AUTRE PART CA SERAIT ASSEZ SYMPA SI CAN POUVAIT ANALYSER LES DF
ET PAS SEULEMENT LES DE, UXOR DEVRAIT NORMALEMENT ETRE LA DF SUIVANTE)
(DF UXOR (L)
	(COND ((NULL L) NIL)
	((EVAL (NEXTL L)) (NOT (EVAL (CONS ''OR L))))
	(T (EVAL (CONS ''UXOR L)))))))))
(UXOR T)
(UXOR T NIL)
(UXOR NIL T NIL)
(UXOR T T NIL)
(UXOR NIL T T)
(UXOR NIL NIL T NIL)